I thought this but then I thought the only overs he has is obv KK+ and I expect these to be 4bet pre a very high % of the time.
Wait, how does he 4bet pre when you didn't 3bet? KK+ is bang in his range.